Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

adds script to automate gif replacement and replaces gifs in docker-d… #77

Merged
merged 1 commit into from
Nov 8, 2024

Conversation

fherreazcue
Copy link
Collaborator

…esktop

Copy link

github-actions bot commented Nov 7, 2024

Thank you!

Thank you for your pull request 😃

🤖 This automated message can help you check the rendered files in your submission for clarity. If you have any questions, please feel free to open an issue in {sandpaper}.

If you have files that automatically render output (e.g. R Markdown), then you should check for the following:

  • 🎯 correct output
  • 🖼️ correct figures
  • ❓ new warnings
  • ‼️ new errors

Rendered Changes

🔍 Inspect the changes: https://github.com/UoMResearchIT/docker-introduction/compare/md-outputs..md-outputs-PR-77

The following changes were observed in the rendered markdown documents:

 docker-desktop.md                                  | 228 +++++++++++++++++++--
 .../automation/tabs_instead_of_gifs.py (new)       |  39 ++++
 md5sum.txt                                         |  34 +--
 3 files changed, 269 insertions(+), 32 deletions(-)
What does this mean?

If you have source files that require output and figures to be generated (e.g. R Markdown), then it is important to make sure the generated figures and output are reproducible.

This output provides a way for you to inspect the output in a diff-friendly manner so that it's easy to see the changes that occur due to new software versions or randomisation.

⏱️ Updated at 2024-11-07 12:26:52 +0000

@fherreazcue fherreazcue linked an issue Nov 7, 2024 that may be closed by this pull request
github-actions bot pushed a commit that referenced this pull request Nov 7, 2024
@OliverWoolland OliverWoolland merged commit 1be57f5 into main Nov 8, 2024
5 checks passed
github-actions bot pushed a commit that referenced this pull request Nov 8, 2024
Auto-generated via `{sandpaper}`
Source  : 1be57f5
Branch  : main
Author  : OliverWoolland <86293426+OliverWoolland@users.noreply.github.com>
Time    : 2024-11-08 11:29:55 +0000
Message : Merge pull request #77 from UoMResearchIT/tabs-instead-of-gifs

adds script to automate gif replacement and replaces gifs in docker-d…
github-actions bot pushed a commit that referenced this pull request Nov 8, 2024
Auto-generated via `{sandpaper}`
Source  : 116d927
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2024-11-08 11:31:11 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 1be57f5
Branch  : main
Author  : OliverWoolland <86293426+OliverWoolland@users.noreply.github.com>
Time    : 2024-11-08 11:29:55 +0000
Message : Merge pull request #77 from UoMResearchIT/tabs-instead-of-gifs

adds script to automate gif replacement and replaces gifs in docker-d…
@fherreazcue fherreazcue deleted the tabs-instead-of-gifs branch November 8, 2024 11:58
github-actions bot pushed a commit that referenced this pull request Nov 12, 2024
Auto-generated via `{sandpaper}`
Source  : 1be57f5
Branch  : main
Author  : OliverWoolland <86293426+OliverWoolland@users.noreply.github.com>
Time    : 2024-11-08 11:29:55 +0000
Message : Merge pull request #77 from UoMResearchIT/tabs-instead-of-gifs

adds script to automate gif replacement and replaces gifs in docker-d…
github-actions bot pushed a commit that referenced this pull request Nov 12, 2024
Auto-generated via `{sandpaper}`
Source  : c14df30
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2024-11-12 00:22:59 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 1be57f5
Branch  : main
Author  : OliverWoolland <86293426+OliverWoolland@users.noreply.github.com>
Time    : 2024-11-08 11:29:55 +0000
Message : Merge pull request #77 from UoMResearchIT/tabs-instead-of-gifs

adds script to automate gif replacement and replaces gifs in docker-d…
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Slow down giffs or use mp4 instead?
2 participants